| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34P/3MMBHSB | |||
| Repositório | sid.inpe.br/mtc-m21b/2016/10.27.12.24 | |||
| Última Atualização | 2016:12.16.18.01.22 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2016/10.27.12.24.01 | |||
| Última Atualização dos Metadados | 2021:02.11.21.05.51 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | SilvaAmbrVillAzev:2016:ApVeSa | |||
| Título | An approach for verification of a satellite simulator – an evolving system  | |||
| Ano | 2016 | |||
| Data de Acesso | 08 maio 2024 | |||
| Tipo Secundário | PRE CI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 8593 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Silva, Pedro 2 Ambrosio, Ana Maria 3 Villani, Emilia 4 Azevedo, Denise Nunes Rodonti | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JGH7 | |||
| Grupo | 1 2 DSE-ETE-INPE-MCTI-GOV-BR 3 4 DSS-ETE-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 Instituto Tecnológico de Aeronáutica (ITA) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Tecnológico de Aeronáutica (ITA) 4 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 paulodiego1@gmail.com 2 ana.ambrosio@inpe.br 3 evillani@ita.br 4 denise.rotondi@inpe.br | |||
| Nome do Evento | Latin-American Symposium on Dependable Computing (LADC) | |||
| Localização do Evento | Cali, Colombia | |||
| Data | 19-21 Oct. | |||
| Título do Livro | Proceedings | |||
| Histórico (UTC) | 2016-12-22 15:14:58 :: simone -> administrator :: 2016 2021-02-11 21:05:51 :: administrator -> simone :: 2016 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Palavras-Chave | Satellite simulator Test automation Verification Validation Formal methods Model checking Model basedtesting | |||
| Resumo | Satellite simulators are developed in the context of a space mission lifecycle to represent the real behavior of a satellite during operation and may be used for different purposes. To attend a particular purpose new functions are added or modified according to the mission phase needs, requiring models re-adaptation in a system evolving concept. The process of verification of satellite simulator software requires high-efficiency in accomplishing realistic functional and behavioral requirements. Based on the complex set of requirements the satellite behavior is represented in the simulator through software models specified by tables of causeeffect rules. Considering that the Satellite Simulator is an evolving systems and it needs to assure that the logic implemented in the simulator conforms to the requirements, the manual verification process becomes impracticable, therefore demanding a compatible verification approach. The approach suggested here unifies two techniques Conformance and Fault Inject (CoFI), constructed on Model-Based Testing and Model Checking added to a method so that it can translate the tables of cause-effect rules into finite state machines. This paper presents the verification approach illustrating it with the Data Collection Subsystem (DCS) model of the CBERS satellite simulator being developed at National Institute for Space Research (INPE). | |||
| Área | ETES | |||
| Arranjo 1 | urlib.net > DIDSE > An approach for... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > An approach for... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3MMBHSB | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3MMBHSB | |||
| Idioma | en | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | urlib.net/www/2011/03.29.20.55 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446AUSL 8JMKD3MGPCW/446B2HE | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 4 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 sid.inpe.br/bibdigital/2021/02.11.20.54 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||